Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
831	PDF Document Add to Reading List Source URL: www.physast.uga.edu Language: English - Date: 2004-02-13 11:08:55 Differential calculus Functional derivative Physical quantities Density functional theory Defining equation Mathematical descriptions of physical laws Physics Electromagnetism Computer programming
832	Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Data types Recursion Theoretical computer science Formal methods Functional programming Algebraic data type Fold ALGOL 68 Scala Computing Software engineering Computer programming
833	PDF Document Add to Reading List Source URL: archive.vector.org.uk Language: English - Date: 2015-03-01 13:40:02 APL programming language family Array programming languages Functional languages Vector calculus Linear algebra APL K Euclidean vector Roger Hui Algebra Software engineering Computing
834	Introduction Comprehensions in CHR cp Monotonicity Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-09 18:57:09 Computer programming Functional languages Constraint Handling Rules Constraint logic programming Pure Monad Multiset Declarative programming Software engineering Constraint programming
835	RAY: Integrating Rx and Async for Direct-Style Reactive Streams Philipp Haller Heather Miller Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2013-09-05 08:45:30 Functional languages Actor model Futures and promises Inter-process communication Observer pattern Scala Continuation Errors and residuals in statistics Computing Software engineering Computer programming
836	ACM_UNIV_SRC_MSR_EventPoster0813 Add to Reading List Source URL: src.acm.org Language: English SRC International Conference on Functional Programming Computing
837	Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac⋆ Swiss Federal Institute of Technology Lausanne (EPFL) Abstract. We describe a tool that applies theore Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Functional languages Procedural programming languages C++ Snippet Source code Scala Eval Constructor ALGOL 68 Computing Software engineering Computer programming
838	c 2014 Pritish Jetley INCOMPLETENESS + INTEROPERABILITY: A MULTI-PARADIGM APPROACH TO PARALLEL PROGRAMMING FOR SCIENCE AND ENGINEERING APPLICATIONS Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2014-07-25 18:01:52 Charm++ Parallel programming Parallel computing Programming language Actor model Functional languages Application programming interfaces Computing Computer programming Software engineering
839	On Static Analysis for Expressive Pattern Matching Mirco Dotta, Philippe Suter and Viktor Kuncak? School of Computer and Communication Sciences, EPFL, Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 08:03:06 Data types Functional programming Type theory Algebraic data type Binary trees Procedural programming languages Pattern matching Guard Cons Software engineering Computing Computer programming
840	Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2 Add to Reading List Source URL: www.amitlevy.com Language: English - Date: 2012-10-19 15:09:55 Computing Monad Concurrent Haskell Covert channel Information flow Thread Parity of a permutation Parallel computing Functional programming Computer programming Software engineering

UPDATE